| 翻訳と辞書 |
| Elementary definition ： ウィキペディア英語版 |
Elementary definition
In mathematical logic, an elementary definition is a definition that can be made using only finitary first-order logic, and in particular without reference to set theory or using extensions such as plural quantification.
Elementary definitions are of particular interest because they admit a complete proof apparatus while still being expressive enough to support most everyday mathematics (via the addition of elementarily-expressible axioms such as ZFC).
Saying that a definition is elementary is a weaker condition than saying it is algebraic.
==Related==
*Elementary sentence
*Elementary theory
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Elementary definition」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|